Improving Dependability by Revisiting Operating System Design
نویسندگان
چکیده
Existing operating system (OS) designs provide inadequate isolation of user applications from errors that occur in OS services. If an error causes the failure of an OS service, all dependent applications are affected. The OS design described in this paper ameliorates this problem by reorganizing OS state in an effort to make OS services transparently restartable. This is achieved by partitioning application-related OS state into isolated per-application memory regions. Access to these memory regions is provided to OS services on a “need-to-know” basis when processing application requests. Applications are not allowed access to these memory regions for security. This design helps improve the dependability of the system.
منابع مشابه
Dependability of COTS Microkernel-Based Systems
ÐThe commercial offer concerning microkernel technology constitutes an attractive alternative for developing operating systems to suit a wide range of application domains. However, the integration of COTS microkernels into critical embedded computer systems is a problem for system developers, in particular due to the lack of objective data concerning their behavior in the presence of faults. Th...
متن کاملIntegrating Dependability Analysis into the Real-time System Design Process
In this research, we are developing a design framework for integrating dependability analysis into the distributed, heterogeneous, fault-tolerant real-time system design process. We focus on two dependability attributes: reliability and availability. We are implementing this framework on top of existing systems for the design of distributed, real-time systems such as TimeWiz (Ref. 4). This will...
متن کاملImproving Dependability of Commodity Operating Systems with Program Analysis
Improving Dependability of Commodity Operating Systems with Program Analysis by Feng Zhou Doctor of Philosophy in Computer Science University of California, Berkeley Professor Eric A. Brewer, Chair Modern operating systems are notoriously complex and hard to make dependable. Due to performance, flexibility and historical reasons, most of them are written in relatively low level languages like C...
متن کاملEnhancing Fault/Intrusion Tolerance through Design and Configuration Diversity
Fault/intrusion tolerance is usually the only viable way of improving the system dependability and security in the presence of continuously evolving threats. Many of the solutions in the literature concern a specific snapshot in the production or deployment of a fault-tolerant system and no immediate considerations are made about how the system should evolve to deal with novel threats. In this ...
متن کاملA Design for Comprehensive Kernel Instrumentation
Dynamic binary instrumentation (DBI) has been used extensively at the user level to develop bug-finding and security tools, such as Memcheck and Program Shepherding. However, comprehensive DBI frameworks do not exist for operating system kernels, thwarting the development of dependability and security tools for kernels. In this paper, we identify the key challenges in designing an in-kernel DBI...
متن کامل